class start {
  __attribute__ ((annotate ("an annotation"))) operator int();
};
